node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,7) :- #0.617.
link(7,1) :- #0.82.
link(1,16) :- #0.502.
link(16,1) :- #0.638.
link(1,17) :- #0.117.
link(17,1) :- #0.142.
link(1,18) :- #0.989.
link(18,1) :- #0.097.
link(1,23) :- #0.715.
link(23,1) :- #0.888.
link(1,40) :- #0.976.
link(40,1) :- #0.265.
link(1,75) :- #0.326.
link(75,1) :- #0.527.
link(1,94) :- #0.997.
link(94,1) :- #0.757.
link(1,98) :- #0.346.
link(98,1) :- #0.299.
link(1,101) :- #0.264.
link(101,1) :- #0.139.
link(1,103) :- #0.634.
link(103,1) :- #0.125.
link(1,104) :- #0.798.
link(104,1) :- #0.766.
link(1,121) :- #0.881.
link(121,1) :- #0.379.
link(1,130) :- #0.691.
link(130,1) :- #0.505.
link(1,131) :- #0.253.
link(131,1) :- #0.127.
link(2,23) :- #0.88.
link(23,2) :- #0.579.
link(2,32) :- #0.326.
link(32,2) :- #0.229.
link(2,45) :- #0.319.
link(45,2) :- #0.079.
link(2,61) :- #0.602.
link(61,2) :- #0.985.
link(2,67) :- #0.694.
link(67,2) :- #0.343.
link(2,88) :- #0.829.
link(88,2) :- #0.42.
link(2,95) :- #0.299.
link(95,2) :- #0.392.
link(2,104) :- #0.14.
link(104,2) :- #0.447.
link(2,105) :- #0.471.
link(105,2) :- #0.326.
link(2,108) :- #0.537.
link(108,2) :- #0.051.
link(2,111) :- #0.19.
link(111,2) :- #0.553.
link(2,113) :- #0.612.
link(113,2) :- #0.647.
link(2,114) :- #0.408.
link(114,2) :- #0.32.
link(2,123) :- #0.904.
link(123,2) :- #0.116.
link(2,125) :- #0.011.
link(125,2) :- #0.377.
link(2,130) :- #0.94.
link(130,2) :- #0.952.
link(2,133) :- #0.676.
link(133,2) :- #0.084.
link(3,14) :- #0.523.
link(14,3) :- #0.912.
link(3,19) :- #0.466.
link(19,3) :- #0.528.
link(3,22) :- #0.079.
link(22,3) :- #0.592.
link(3,29) :- #0.567.
link(29,3) :- #0.701.
link(3,37) :- #0.058.
link(37,3) :- #0.178.
link(3,72) :- #0.089.
link(72,3) :- #0.578.
link(3,74) :- #0.201.
link(74,3) :- #0.051.
link(3,75) :- #0.127.
link(75,3) :- #0.659.
link(3,87) :- #0.6.
link(87,3) :- #0.002.
link(3,92) :- #0.006.
link(92,3) :- #0.662.
link(3,93) :- #0.417.
link(93,3) :- #0.098.
link(3,97) :- #0.748.
link(97,3) :- #0.329.
link(3,98) :- #0.087.
link(98,3) :- #0.08.
link(3,105) :- #0.651.
link(105,3) :- #0.698.
link(3,113) :- #0.138.
link(113,3) :- #0.842.
link(3,122) :- #0.572.
link(122,3) :- #0.498.
link(3,133) :- #0.015.
link(133,3) :- #0.788.
link(4,15) :- #0.045.
link(15,4) :- #0.998.
link(4,16) :- #0.841.
link(16,4) :- #0.646.
link(4,39) :- #0.989.
link(39,4) :- #0.582.
link(4,42) :- #0.756.
link(42,4) :- #0.661.
link(4,43) :- #0.18.
link(43,4) :- #0.451.
link(4,45) :- #0.668.
link(45,4) :- #0.849.
link(4,46) :- #0.195.
link(46,4) :- #0.133.
link(4,48) :- #0.236.
link(48,4) :- #0.303.
link(4,53) :- #0.639.
link(53,4) :- #0.36.
link(4,63) :- #0.802.
link(63,4) :- #0.197.
link(4,64) :- #0.522.
link(64,4) :- #0.331.
link(4,66) :- #0.608.
link(66,4) :- #0.45.
link(4,67) :- #0.838.
link(67,4) :- #0.448.
link(4,73) :- #0.034.
link(73,4) :- #0.599.
link(4,82) :- #0.262.
link(82,4) :- #0.181.
link(4,91) :- #0.797.
link(91,4) :- #0.895.
link(4,100) :- #0.173.
link(100,4) :- #0.517.
link(4,102) :- #0.256.
link(102,4) :- #0.338.
link(4,119) :- #0.742.
link(119,4) :- #0.279.
link(4,129) :- #0.512.
link(129,4) :- #0.254.
link(4,133) :- #0.907.
link(133,4) :- #0.717.
link(5,20) :- #0.869.
link(20,5) :- #0.128.
link(5,41) :- #0.738.
link(41,5) :- #0.117.
link(5,42) :- #0.365.
link(42,5) :- #0.097.
link(5,62) :- #0.878.
link(62,5) :- #0.429.
link(5,63) :- #0.299.
link(63,5) :- #0.493.
link(5,70) :- #0.688.
link(70,5) :- #0.061.
link(5,71) :- #0.245.
link(71,5) :- #0.793.
link(5,75) :- #0.931.
link(75,5) :- #0.312.
link(5,76) :- #0.815.
link(76,5) :- #0.773.
link(5,84) :- #0.759.
link(84,5) :- #0.362.
link(5,91) :- #0.983.
link(91,5) :- #0.538.
link(5,107) :- #0.565.
link(107,5) :- #0.141.
link(5,110) :- #0.875.
link(110,5) :- #0.691.
link(5,112) :- #0.552.
link(112,5) :- #0.743.
link(5,113) :- #0.664.
link(113,5) :- #0.419.
link(5,117) :- #0.41.
link(117,5) :- #0.702.
link(6,19) :- #0.072.
link(19,6) :- #0.842.
link(6,27) :- #0.119.
link(27,6) :- #0.41.
link(6,31) :- #0.621.
link(31,6) :- #0.04.
link(6,32) :- #0.043.
link(32,6) :- #0.143.
link(6,73) :- #0.555.
link(73,6) :- #0.604.
link(6,78) :- #0.991.
link(78,6) :- #0.584.
link(6,85) :- #0.272.
link(85,6) :- #0.198.
link(6,89) :- #0.112.
link(89,6) :- #0.866.
link(6,98) :- #0.475.
link(98,6) :- #0.015.
link(6,108) :- #0.159.
link(108,6) :- #0.009.
link(6,121) :- #0.507.
link(121,6) :- #0.319.
link(7,13) :- #0.911.
link(13,7) :- #0.259.
link(7,23) :- #0.63.
link(23,7) :- #0.828.
link(7,64) :- #0.248.
link(64,7) :- #0.205.
link(7,70) :- #0.21.
link(70,7) :- #0.898.
link(7,87) :- #0.344.
link(87,7) :- #0.308.
link(7,111) :- #0.966.
link(111,7) :- #0.564.
link(7,117) :- #0.696.
link(117,7) :- #0.658.
link(8,18) :- #0.877.
link(18,8) :- #0.958.
link(8,25) :- #0.699.
link(25,8) :- #0.394.
link(8,29) :- #0.001.
link(29,8) :- #0.637.
link(8,55) :- #0.369.
link(55,8) :- #0.53.
link(8,58) :- #0.007.
link(58,8) :- #0.665.
link(8,80) :- #0.758.
link(80,8) :- #0.417.
link(8,89) :- #0.588.
link(89,8) :- #0.756.
link(8,106) :- #0.902.
link(106,8) :- #0.909.
link(8,113) :- #0.094.
link(113,8) :- #0.541.
link(8,132) :- #0.554.
link(132,8) :- #0.679.
link(9,16) :- #0.603.
link(16,9) :- #0.674.
link(9,32) :- #0.025.
link(32,9) :- #0.143.
link(9,37) :- #0.607.
link(37,9) :- #0.417.
link(9,41) :- #0.53.
link(41,9) :- #0.868.
link(9,59) :- #0.34.
link(59,9) :- #0.011.
link(9,62) :- #0.262.
link(62,9) :- #0.238.
link(9,63) :- #0.293.
link(63,9) :- #0.132.
link(9,70) :- #0.927.
link(70,9) :- #0.863.
link(9,72) :- #0.357.
link(72,9) :- #0.306.
link(9,84) :- #0.708.
link(84,9) :- #0.924.
link(9,93) :- #0.498.
link(93,9) :- #0.251.
link(9,94) :- #0.989.
link(94,9) :- #0.011.
link(9,99) :- #0.533.
link(99,9) :- #0.697.
link(9,101) :- #0.013.
link(101,9) :- #0.483.
link(10,51) :- #0.999.
link(51,10) :- #0.493.
link(10,71) :- #0.976.
link(71,10) :- #0.996.
link(10,75) :- #0.883.
link(75,10) :- #0.612.
link(10,95) :- #0.327.
link(95,10) :- #0.105.
link(10,99) :- #0.976.
link(99,10) :- #0.391.
link(10,118) :- #0.027.
link(118,10) :- #0.423.
link(10,120) :- #0.482.
link(120,10) :- #0.625.
link(10,124) :- #0.715.
link(124,10) :- #0.113.
link(10,127) :- #0.372.
link(127,10) :- #0.706.
link(11,29) :- #0.638.
link(29,11) :- #0.722.
link(11,32) :- #0.464.
link(32,11) :- #0.236.
link(11,33) :- #0.47.
link(33,11) :- #0.118.
link(11,49) :- #0.858.
link(49,11) :- #0.464.
link(11,70) :- #0.886.
link(70,11) :- #0.094.
link(11,85) :- #0.677.
link(85,11) :- #0.618.
link(11,91) :- #0.832.
link(91,11) :- #0.813.
link(11,93) :- #0.019.
link(93,11) :- #0.113.
link(11,113) :- #0.573.
link(113,11) :- #0.758.
link(11,117) :- #0.003.
link(117,11) :- #0.566.
link(12,16) :- #0.845.
link(16,12) :- #0.871.
link(12,17) :- #0.188.
link(17,12) :- #0.14.
link(12,27) :- #0.127.
link(27,12) :- #0.9.
link(12,33) :- #0.771.
link(33,12) :- #0.733.
link(12,36) :- #0.48.
link(36,12) :- #0.165.
link(12,51) :- #0.546.
link(51,12) :- #0.727.
link(12,66) :- #0.446.
link(66,12) :- #0.368.
link(12,72) :- #0.951.
link(72,12) :- #0.965.
link(12,74) :- #0.684.
link(74,12) :- #0.317.
link(12,76) :- #0.739.
link(76,12) :- #0.417.
link(12,100) :- #0.892.
link(100,12) :- #0.34.
link(12,105) :- #0.015.
link(105,12) :- #0.999.
link(12,119) :- #0.737.
link(119,12) :- #0.4.
link(12,126) :- #0.27.
link(126,12) :- #0.533.
link(12,131) :- #0.243.
link(131,12) :- #0.899.
link(13,16) :- #0.461.
link(16,13) :- #0.038.
link(13,24) :- #0.119.
link(24,13) :- #0.468.
link(13,32) :- #0.357.
link(32,13) :- #0.1.
link(13,47) :- #0.776.
link(47,13) :- #0.705.
link(13,67) :- #0.99.
link(67,13) :- #0.76.
link(13,79) :- #0.152.
link(79,13) :- #0.499.
link(13,87) :- #0.775.
link(87,13) :- #0.322.
link(13,103) :- #0.588.
link(103,13) :- #0.699.
link(13,108) :- #0.235.
link(108,13) :- #0.133.
link(13,111) :- #0.797.
link(111,13) :- #0.203.
link(13,112) :- #0.457.
link(112,13) :- #0.231.
link(13,119) :- #0.885.
link(119,13) :- #0.13.
link(13,125) :- #0.767.
link(125,13) :- #0.967.
link(13,126) :- #0.353.
link(126,13) :- #0.138.
link(13,127) :- #0.235.
link(127,13) :- #0.999.
link(13,130) :- #0.263.
link(130,13) :- #0.974.
link(14,16) :- #0.824.
link(16,14) :- #0.578.
link(14,43) :- #0.266.
link(43,14) :- #0.53.
link(14,82) :- #0.215.
link(82,14) :- #0.545.
link(14,83) :- #0.929.
link(83,14) :- #0.224.
link(14,110) :- #0.835.
link(110,14) :- #0.025.
link(14,129) :- #0.896.
link(129,14) :- #0.219.
link(15,23) :- #0.671.
link(23,15) :- #0.488.
link(15,35) :- #0.391.
link(35,15) :- #0.419.
link(15,39) :- #0.35.
link(39,15) :- #0.358.
link(15,46) :- #0.888.
link(46,15) :- #0.156.
link(15,48) :- #0.257.
link(48,15) :- #0.194.
link(15,90) :- #0.423.
link(90,15) :- #0.202.
link(15,93) :- #0.432.
link(93,15) :- #0.044.
link(15,98) :- #0.749.
link(98,15) :- #0.017.
link(15,112) :- #0.585.
link(112,15) :- #0.673.
link(15,115) :- #0.979.
link(115,15) :- #0.666.
link(15,121) :- #0.907.
link(121,15) :- #0.201.
link(15,122) :- #0.31.
link(122,15) :- #0.508.
link(15,133) :- #0.896.
link(133,15) :- #0.312.
link(16,28) :- #0.319.
link(28,16) :- #0.738.
link(16,35) :- #0.133.
link(35,16) :- #0.582.
link(16,43) :- #0.065.
link(43,16) :- #0.171.
link(16,57) :- #0.634.
link(57,16) :- #0.023.
link(16,60) :- #0.799.
link(60,16) :- #0.884.
link(16,64) :- #0.109.
link(64,16) :- #0.317.
link(16,66) :- #0.749.
link(66,16) :- #0.577.
link(16,72) :- #0.225.
link(72,16) :- #0.176.
link(16,76) :- #0.675.
link(76,16) :- #0.952.
link(16,112) :- #0.8.
link(112,16) :- #0.231.
link(17,20) :- #0.119.
link(20,17) :- #0.042.
link(17,34) :- #0.266.
link(34,17) :- #0.81.
link(17,47) :- #0.786.
link(47,17) :- #0.088.
link(17,81) :- #0.543.
link(81,17) :- #0.238.
link(17,91) :- #0.63.
link(91,17) :- #0.222.
link(17,92) :- #0.602.
link(92,17) :- #0.024.
link(17,97) :- #0.16.
link(97,17) :- #0.243.
link(17,102) :- #0.275.
link(102,17) :- #0.651.
link(17,110) :- #0.576.
link(110,17) :- #0.174.
link(17,114) :- #0.516.
link(114,17) :- #0.085.
link(17,129) :- #0.44.
link(129,17) :- #0.977.
link(18,28) :- #0.1.
link(28,18) :- #0.502.
link(18,49) :- #0.325.
link(49,18) :- #0.802.
link(18,59) :- #0.344.
link(59,18) :- #0.792.
link(18,64) :- #0.517.
link(64,18) :- #0.9.
link(18,90) :- #0.418.
link(90,18) :- #0.889.
link(18,91) :- #0.462.
link(91,18) :- #0.883.
link(18,104) :- #0.356.
link(104,18) :- #0.82.
link(18,110) :- #0.914.
link(110,18) :- #0.364.
link(18,133) :- #0.431.
link(133,18) :- #0.138.
link(19,23) :- #0.025.
link(23,19) :- #0.271.
link(19,33) :- #0.669.
link(33,19) :- #0.325.
link(19,40) :- #0.273.
link(40,19) :- #0.683.
link(19,45) :- #0.347.
link(45,19) :- #0.093.
link(19,49) :- #0.509.
link(49,19) :- #0.206.
link(19,67) :- #0.301.
link(67,19) :- #0.874.
link(19,90) :- #0.756.
link(90,19) :- #0.521.
link(19,100) :- #0.012.
link(100,19) :- #0.182.
link(19,104) :- #0.02.
link(104,19) :- #0.119.
link(19,127) :- #0.192.
link(127,19) :- #0.828.
link(19,130) :- #0.313.
link(130,19) :- #0.817.
link(20,23) :- #0.017.
link(23,20) :- #0.951.
link(20,27) :- #0.739.
link(27,20) :- #0.735.
link(20,32) :- #0.189.
link(32,20) :- #0.7.
link(20,33) :- #0.517.
link(33,20) :- #0.997.
link(20,79) :- #0.562.
link(79,20) :- #0.703.
link(20,81) :- #0.885.
link(81,20) :- #0.779.
link(20,88) :- #0.526.
link(88,20) :- #0.614.
link(20,101) :- #0.135.
link(101,20) :- #0.091.
link(20,103) :- #0.47.
link(103,20) :- #0.472.
link(20,135) :- #0.455.
link(135,20) :- #0.072.
link(21,24) :- #0.3.
link(24,21) :- #0.946.
link(21,30) :- #0.669.
link(30,21) :- #0.732.
link(21,33) :- #0.794.
link(33,21) :- #0.045.
link(21,46) :- #0.367.
link(46,21) :- #0.382.
link(21,48) :- #0.788.
link(48,21) :- #0.411.
link(21,63) :- #0.862.
link(63,21) :- #0.005.
link(21,64) :- #0.396.
link(64,21) :- #0.942.
link(21,70) :- #0.024.
link(70,21) :- #0.917.
link(21,76) :- #0.257.
link(76,21) :- #0.357.
link(21,77) :- #0.555.
link(77,21) :- #0.526.
link(21,80) :- #0.738.
link(80,21) :- #0.272.
link(21,83) :- #0.978.
link(83,21) :- #0.997.
link(21,84) :- #0.054.
link(84,21) :- #0.783.
link(21,96) :- #0.361.
link(96,21) :- #0.145.
link(21,98) :- #0.851.
link(98,21) :- #0.164.
link(21,106) :- #0.094.
link(106,21) :- #0.046.
link(21,112) :- #0.373.
link(112,21) :- #0.658.
link(21,117) :- #0.312.
link(117,21) :- #0.194.
link(21,125) :- #0.143.
link(125,21) :- #0.037.
link(22,36) :- #0.56.
link(36,22) :- #0.72.
link(22,55) :- #0.081.
link(55,22) :- #0.439.
link(22,56) :- #0.031.
link(56,22) :- #0.248.
link(22,60) :- #0.257.
link(60,22) :- #0.318.
link(22,61) :- #0.145.
link(61,22) :- #0.678.
link(22,62) :- #0.372.
link(62,22) :- #0.298.
link(22,66) :- #0.988.
link(66,22) :- #0.957.
link(22,71) :- #0.66.
link(71,22) :- #0.338.
link(22,83) :- #0.356.
link(83,22) :- #0.251.
link(22,89) :- #0.827.
link(89,22) :- #0.462.
link(22,95) :- #0.106.
link(95,22) :- #0.628.
link(22,97) :- #0.036.
link(97,22) :- #0.049.
link(22,99) :- #0.516.
link(99,22) :- #0.982.
link(22,116) :- #0.666.
link(116,22) :- #0.241.
link(23,28) :- #0.302.
link(28,23) :- #0.887.
link(23,34) :- #0.832.
link(34,23) :- #0.894.
link(23,41) :- #0.344.
link(41,23) :- #0.843.
link(23,42) :- #0.584.
link(42,23) :- #0.763.
link(23,47) :- #0.554.
link(47,23) :- #0.916.
link(23,56) :- #0.503.
link(56,23) :- #0.624.
link(23,60) :- #0.305.
link(60,23) :- #0.737.
link(23,73) :- #0.603.
link(73,23) :- #0.203.
link(23,74) :- #0.757.
link(74,23) :- #0.494.
link(23,75) :- #0.105.
link(75,23) :- #0.113.
link(23,85) :- #0.862.
link(85,23) :- #0.733.
link(23,92) :- #0.765.
link(92,23) :- #0.264.
link(23,97) :- #0.893.
link(97,23) :- #0.304.
link(23,98) :- #0.873.
link(98,23) :- #0.259.
link(23,103) :- #0.781.
link(103,23) :- #0.394.
link(23,129) :- #0.37.
link(129,23) :- #0.996.
link(24,34) :- #0.065.
link(34,24) :- #0.734.
link(24,41) :- #0.359.
link(41,24) :- #0.861.
link(24,47) :- #0.782.
link(47,24) :- #0.453.
link(24,51) :- #0.653.
link(51,24) :- #0.626.
link(24,67) :- #0.518.
link(67,24) :- #0.728.
link(24,84) :- #0.494.
link(84,24) :- #0.963.
link(24,87) :- #0.205.
link(87,24) :- #0.039.
link(24,88) :- #0.479.
link(88,24) :- #0.886.
link(24,95) :- #0.08.
link(95,24) :- #0.045.
link(24,101) :- #0.689.
link(101,24) :- #0.532.
link(24,104) :- #0.767.
link(104,24) :- #0.644.
link(24,114) :- #0.663.
link(114,24) :- #0.535.
link(24,117) :- #0.368.
link(117,24) :- #0.697.
link(24,118) :- #0.683.
link(118,24) :- #0.496.
link(24,124) :- #0.212.
link(124,24) :- #0.021.
link(24,128) :- #0.997.
link(128,24) :- #0.131.
link(25,33) :- #0.716.
link(33,25) :- #0.193.
link(25,43) :- #0.437.
link(43,25) :- #0.105.
link(25,67) :- #0.37.
link(67,25) :- #0.243.
link(25,73) :- #0.907.
link(73,25) :- #0.848.
link(25,74) :- #0.012.
link(74,25) :- #0.681.
link(25,76) :- #0.754.
link(76,25) :- #0.288.
link(25,77) :- #0.138.
link(77,25) :- #0.238.
link(25,84) :- #0.966.
link(84,25) :- #0.115.
link(25,86) :- #0.537.
link(86,25) :- #0.016.
link(25,98) :- #0.701.
link(98,25) :- #0.199.
link(25,114) :- #0.
link(114,25) :- #0.187.
link(25,118) :- #0.13.
link(118,25) :- #0.113.
link(25,123) :- #0.483.
link(123,25) :- #0.288.
link(25,127) :- #0.133.
link(127,25) :- #0.417.
link(26,27) :- #0.936.
link(27,26) :- #0.349.
link(26,33) :- #0.676.
link(33,26) :- #0.713.
link(26,34) :- #0.987.
link(34,26) :- #0.378.
link(26,48) :- #0.812.
link(48,26) :- #0.317.
link(26,65) :- #0.023.
link(65,26) :- #0.
link(26,70) :- #0.298.
link(70,26) :- #0.276.
link(26,104) :- #0.46.
link(104,26) :- #0.634.
link(26,105) :- #0.639.
link(105,26) :- #0.001.
link(26,125) :- #0.589.
link(125,26) :- #0.398.
link(26,127) :- #0.711.
link(127,26) :- #0.833.
link(27,49) :- #0.465.
link(49,27) :- #0.889.
link(27,57) :- #0.529.
link(57,27) :- #0.773.
link(27,58) :- #0.512.
link(58,27) :- #0.901.
link(27,65) :- #0.412.
link(65,27) :- #0.582.
link(27,75) :- #0.601.
link(75,27) :- #0.62.
link(27,78) :- #0.323.
link(78,27) :- #0.583.
link(27,80) :- #0.149.
link(80,27) :- #0.62.
link(27,83) :- #0.97.
link(83,27) :- #0.261.
link(27,84) :- #0.702.
link(84,27) :- #0.223.
link(27,91) :- #0.915.
link(91,27) :- #0.011.
link(27,111) :- #0.427.
link(111,27) :- #0.303.
link(27,115) :- #0.322.
link(115,27) :- #0.977.
link(27,121) :- #0.133.
link(121,27) :- #0.054.
link(27,127) :- #0.462.
link(127,27) :- #0.38.
link(28,38) :- #0.808.
link(38,28) :- #0.423.
link(28,52) :- #0.053.
link(52,28) :- #0.243.
link(28,56) :- #0.145.
link(56,28) :- #0.088.
link(28,78) :- #0.165.
link(78,28) :- #0.298.
link(28,79) :- #0.235.
link(79,28) :- #0.846.
link(28,83) :- #0.616.
link(83,28) :- #0.535.
link(28,85) :- #0.027.
link(85,28) :- #0.804.
link(28,95) :- #0.575.
link(95,28) :- #0.477.
link(28,105) :- #0.634.
link(105,28) :- #0.803.
link(28,111) :- #0.716.
link(111,28) :- #0.457.
link(29,40) :- #0.308.
link(40,29) :- #0.172.
link(29,48) :- #0.842.
link(48,29) :- #0.007.
link(29,62) :- #0.246.
link(62,29) :- #0.321.
link(29,66) :- #0.873.
link(66,29) :- #0.694.
link(29,72) :- #0.325.
link(72,29) :- #0.425.
link(29,76) :- #0.576.
link(76,29) :- #0.315.
link(29,84) :- #0.882.
link(84,29) :- #0.701.
link(29,102) :- #0.308.
link(102,29) :- #0.276.
link(29,104) :- #0.297.
link(104,29) :- #0.628.
link(29,108) :- #0.287.
link(108,29) :- #0.969.
link(29,111) :- #0.172.
link(111,29) :- #0.138.
link(29,132) :- #0.826.
link(132,29) :- #0.344.
link(30,36) :- #0.47.
link(36,30) :- #0.952.
link(30,39) :- #0.429.
link(39,30) :- #0.086.
link(30,41) :- #0.008.
link(41,30) :- #0.043.
link(30,57) :- #0.371.
link(57,30) :- #0.498.
link(30,63) :- #0.96.
link(63,30) :- #0.912.
link(30,66) :- #0.17.
link(66,30) :- #0.609.
link(30,75) :- #0.7.
link(75,30) :- #0.203.
link(30,76) :- #0.25.
link(76,30) :- #0.048.
link(30,81) :- #0.713.
link(81,30) :- #0.81.
link(30,118) :- #0.909.
link(118,30) :- #0.859.
link(31,32) :- #0.791.
link(32,31) :- #0.481.
link(31,54) :- #0.821.
link(54,31) :- #0.941.
link(31,65) :- #0.376.
link(65,31) :- #0.05.
link(31,77) :- #0.432.
link(77,31) :- #0.848.
link(31,83) :- #0.081.
link(83,31) :- #0.33.
link(31,101) :- #0.612.
link(101,31) :- #0.927.
link(31,107) :- #0.924.
link(107,31) :- #0.007.
link(31,110) :- #0.348.
link(110,31) :- #0.554.
link(31,129) :- #0.208.
link(129,31) :- #0.08.
link(32,41) :- #0.397.
link(41,32) :- #0.566.
link(32,52) :- #0.643.
link(52,32) :- #0.635.
link(32,63) :- #0.106.
link(63,32) :- #0.98.
link(32,69) :- #0.003.
link(69,32) :- #0.577.
link(32,71) :- #0.795.
link(71,32) :- #0.001.
link(32,76) :- #0.396.
link(76,32) :- #0.083.
link(32,88) :- #0.462.
link(88,32) :- #0.103.
link(32,92) :- #0.949.
link(92,32) :- #0.462.
link(32,101) :- #0.291.
link(101,32) :- #0.047.
link(32,103) :- #0.158.
link(103,32) :- #0.139.
link(32,115) :- #0.745.
link(115,32) :- #0.014.
link(32,123) :- #0.289.
link(123,32) :- #0.134.
link(32,127) :- #0.436.
link(127,32) :- #0.022.
link(33,34) :- #0.477.
link(34,33) :- #0.484.
link(33,36) :- #0.633.
link(36,33) :- #0.394.
link(33,50) :- #0.722.
link(50,33) :- #0.147.
link(33,67) :- #0.149.
link(67,33) :- #0.932.
link(33,70) :- #0.862.
link(70,33) :- #0.338.
link(33,72) :- #0.463.
link(72,33) :- #0.193.
link(33,85) :- #0.161.
link(85,33) :- #0.63.
link(33,86) :- #0.688.
link(86,33) :- #0.069.
link(33,98) :- #0.099.
link(98,33) :- #0.31.
link(33,99) :- #0.261.
link(99,33) :- #0.857.
link(33,111) :- #0.742.
link(111,33) :- #0.115.
link(33,114) :- #0.856.
link(114,33) :- #0.815.
link(34,37) :- #0.144.
link(37,34) :- #0.931.
link(34,38) :- #0.809.
link(38,34) :- #0.658.
link(34,46) :- #0.112.
link(46,34) :- #0.005.
link(34,58) :- #0.452.
link(58,34) :- #0.467.
link(34,62) :- #0.55.
link(62,34) :- #0.63.
link(34,88) :- #0.037.
link(88,34) :- #0.771.
link(34,92) :- #0.05.
link(92,34) :- #0.828.
link(34,94) :- #0.791.
link(94,34) :- #0.188.
link(34,99) :- #0.371.
link(99,34) :- #0.66.
link(34,103) :- #0.973.
link(103,34) :- #0.494.
link(34,114) :- #0.642.
link(114,34) :- #0.305.
link(34,121) :- #0.38.
link(121,34) :- #0.787.
link(34,125) :- #0.063.
link(125,34) :- #0.801.
link(34,131) :- #0.267.
link(131,34) :- #0.66.
link(34,134) :- #0.547.
link(134,34) :- #0.219.
link(34,135) :- #0.463.
link(135,34) :- #0.857.
link(35,37) :- #0.246.
link(37,35) :- #0.503.
link(35,48) :- #0.062.
link(48,35) :- #0.618.
link(35,53) :- #0.386.
link(53,35) :- #0.058.
link(35,73) :- #0.201.
link(73,35) :- #0.981.
link(35,76) :- #0.056.
link(76,35) :- #0.487.
link(35,77) :- #0.593.
link(77,35) :- #0.356.
link(35,116) :- #0.907.
link(116,35) :- #0.405.
link(35,118) :- #0.729.
link(118,35) :- #0.111.
link(35,125) :- #0.454.
link(125,35) :- #0.751.
link(35,132) :- #0.429.
link(132,35) :- #0.238.
link(36,38) :- #0.399.
link(38,36) :- #0.078.
link(36,117) :- #0.172.
link(117,36) :- #0.933.
link(37,61) :- #0.105.
link(61,37) :- #0.314.
link(37,64) :- #0.741.
link(64,37) :- #0.595.
link(37,67) :- #0.74.
link(67,37) :- #0.125.
link(37,69) :- #0.991.
link(69,37) :- #0.038.
link(37,72) :- #0.294.
link(72,37) :- #0.044.
link(37,91) :- #0.295.
link(91,37) :- #0.855.
link(37,100) :- #0.616.
link(100,37) :- #0.844.
link(37,106) :- #0.699.
link(106,37) :- #0.951.
link(37,108) :- #0.985.
link(108,37) :- #0.362.
link(37,120) :- #0.145.
link(120,37) :- #0.232.
link(37,122) :- #0.666.
link(122,37) :- #0.161.
link(37,130) :- #0.067.
link(130,37) :- #0.648.
link(38,44) :- #0.267.
link(44,38) :- #0.675.
link(38,49) :- #0.16.
link(49,38) :- #0.026.
link(38,60) :- #0.763.
link(60,38) :- #0.842.
link(38,69) :- #0.438.
link(69,38) :- #0.003.
link(38,71) :- #0.355.
link(71,38) :- #0.922.
link(38,88) :- #0.57.
link(88,38) :- #0.426.
link(38,107) :- #0.193.
link(107,38) :- #0.239.
link(38,110) :- #0.656.
link(110,38) :- #0.723.
link(38,118) :- #0.822.
link(118,38) :- #0.724.
link(38,124) :- #0.726.
link(124,38) :- #0.371.
link(39,46) :- #0.235.
link(46,39) :- #0.464.
link(39,50) :- #0.418.
link(50,39) :- #0.719.
link(39,52) :- #0.922.
link(52,39) :- #0.219.
link(39,58) :- #0.091.
link(58,39) :- #0.387.
link(39,64) :- #0.535.
link(64,39) :- #0.17.
link(39,84) :- #0.573.
link(84,39) :- #0.541.
link(39,90) :- #0.712.
link(90,39) :- #0.855.
link(39,92) :- #0.337.
link(92,39) :- #0.533.
link(39,120) :- #0.702.
link(120,39) :- #0.39.
link(39,121) :- #0.993.
link(121,39) :- #0.442.
link(39,127) :- #0.17.
link(127,39) :- #0.043.
link(40,43) :- #0.046.
link(43,40) :- #0.551.
link(40,44) :- #0.767.
link(44,40) :- #0.232.
link(40,64) :- #0.178.
link(64,40) :- #0.895.
link(40,86) :- #0.673.
link(86,40) :- #0.829.
link(40,94) :- #0.163.
link(94,40) :- #0.073.
link(40,118) :- #0.481.
link(118,40) :- #0.538.
link(40,119) :- #0.668.
link(119,40) :- #0.879.
link(40,130) :- #0.981.
link(130,40) :- #0.469.
link(41,47) :- #0.825.
link(47,41) :- #0.253.
link(41,54) :- #0.975.
link(54,41) :- #0.049.
link(41,66) :- #0.678.
link(66,41) :- #0.067.
link(41,75) :- #0.381.
link(75,41) :- #0.047.
link(41,91) :- #0.616.
link(91,41) :- #0.524.
link(41,102) :- #0.93.
link(102,41) :- #0.991.
link(41,107) :- #0.108.
link(107,41) :- #0.121.
link(41,112) :- #0.725.
link(112,41) :- #0.124.
link(41,114) :- #0.604.
link(114,41) :- #0.27.
link(41,125) :- #0.275.
link(125,41) :- #0.469.
link(42,50) :- #0.224.
link(50,42) :- #0.655.
link(42,69) :- #0.896.
link(69,42) :- #0.702.
link(42,73) :- #0.748.
link(73,42) :- #0.068.
link(42,84) :- #0.381.
link(84,42) :- #0.518.
link(42,90) :- #0.868.
link(90,42) :- #0.074.
link(42,97) :- #0.672.
link(97,42) :- #0.676.
link(42,102) :- #0.395.
link(102,42) :- #0.823.
link(42,115) :- #0.859.
link(115,42) :- #0.191.
link(42,124) :- #0.984.
link(124,42) :- #0.425.
link(43,53) :- #0.042.
link(53,43) :- #0.347.
link(43,58) :- #0.605.
link(58,43) :- #0.565.
link(43,61) :- #0.396.
link(61,43) :- #0.565.
link(43,67) :- #0.663.
link(67,43) :- #0.583.
link(43,75) :- #0.774.
link(75,43) :- #0.493.
link(43,78) :- #0.017.
link(78,43) :- #0.873.
link(43,93) :- #0.457.
link(93,43) :- #0.161.
link(43,95) :- #0.613.
link(95,43) :- #0.599.
link(43,99) :- #0.445.
link(99,43) :- #0.95.
link(43,103) :- #0.78.
link(103,43) :- #0.909.
link(43,109) :- #0.35.
link(109,43) :- #0.852.
link(43,111) :- #0.209.
link(111,43) :- #0.794.
link(44,48) :- #0.19.
link(48,44) :- #0.673.
link(44,54) :- #0.86.
link(54,44) :- #0.835.
link(44,70) :- #0.862.
link(70,44) :- #0.964.
link(44,82) :- #0.796.
link(82,44) :- #0.23.
link(44,89) :- #0.17.
link(89,44) :- #0.743.
link(44,91) :- #0.667.
link(91,44) :- #0.923.
link(44,114) :- #0.623.
link(114,44) :- #0.954.
link(44,116) :- #0.952.
link(116,44) :- #0.524.
link(44,124) :- #0.093.
link(124,44) :- #0.863.
link(44,128) :- #0.547.
link(128,44) :- #0.035.
link(45,67) :- #0.418.
link(67,45) :- #0.743.
link(45,73) :- #0.796.
link(73,45) :- #0.579.
link(45,88) :- #0.177.
link(88,45) :- #0.451.
link(45,110) :- #0.121.
link(110,45) :- #0.278.
link(45,120) :- #0.909.
link(120,45) :- #0.489.
link(45,129) :- #0.223.
link(129,45) :- #0.687.
link(46,52) :- #0.631.
link(52,46) :- #0.587.
link(46,73) :- #0.861.
link(73,46) :- #0.516.
link(46,104) :- #0.597.
link(104,46) :- #0.383.
link(47,51) :- #0.172.
link(51,47) :- #0.657.
link(47,68) :- #0.042.
link(68,47) :- #0.692.
link(47,69) :- #0.558.
link(69,47) :- #0.155.
link(47,80) :- #0.421.
link(80,47) :- #0.797.
link(47,95) :- #0.63.
link(95,47) :- #0.049.
link(47,111) :- #0.094.
link(111,47) :- #0.001.
link(47,124) :- #0.555.
link(124,47) :- #0.043.
link(48,61) :- #0.08.
link(61,48) :- #0.968.
link(48,63) :- #0.105.
link(63,48) :- #0.338.
link(48,64) :- #0.659.
link(64,48) :- #0.637.
link(48,67) :- #0.686.
link(67,48) :- #0.612.
link(48,82) :- #0.008.
link(82,48) :- #0.24.
link(48,98) :- #0.732.
link(98,48) :- #0.865.
link(48,109) :- #0.635.
link(109,48) :- #0.277.
link(48,123) :- #0.895.
link(123,48) :- #0.398.
link(48,125) :- #0.981.
link(125,48) :- #0.764.
link(48,128) :- #0.995.
link(128,48) :- #0.701.
link(49,56) :- #0.873.
link(56,49) :- #0.235.
link(49,57) :- #0.394.
link(57,49) :- #0.898.
link(49,88) :- #0.453.
link(88,49) :- #0.495.
link(49,89) :- #0.298.
link(89,49) :- #0.161.
link(49,91) :- #0.122.
link(91,49) :- #0.058.
link(49,98) :- #0.066.
link(98,49) :- #0.323.
link(49,103) :- #0.098.
link(103,49) :- #0.234.
link(49,129) :- #0.268.
link(129,49) :- #0.524.
link(50,67) :- #0.261.
link(67,50) :- #0.568.
link(50,74) :- #0.513.
link(74,50) :- #0.169.
link(50,76) :- #0.468.
link(76,50) :- #0.48.
link(50,83) :- #0.701.
link(83,50) :- #0.716.
link(50,84) :- #0.953.
link(84,50) :- #0.674.
link(50,99) :- #0.794.
link(99,50) :- #0.695.
link(50,118) :- #0.349.
link(118,50) :- #0.838.
link(50,119) :- #0.559.
link(119,50) :- #0.068.
link(50,130) :- #0.504.
link(130,50) :- #0.156.
link(51,58) :- #0.447.
link(58,51) :- #0.338.
link(51,70) :- #0.17.
link(70,51) :- #0.779.
link(51,72) :- #0.246.
link(72,51) :- #0.018.
link(51,78) :- #0.918.
link(78,51) :- #0.055.
link(51,79) :- #0.794.
link(79,51) :- #0.795.
link(51,84) :- #0.783.
link(84,51) :- #0.621.
link(51,101) :- #0.699.
link(101,51) :- #0.587.
link(51,102) :- #0.067.
link(102,51) :- #0.284.
link(51,104) :- #0.915.
link(104,51) :- #0.034.
link(51,105) :- #0.034.
link(105,51) :- #0.703.
link(51,114) :- #0.486.
link(114,51) :- #0.727.
link(51,117) :- #0.438.
link(117,51) :- #0.542.
link(51,127) :- #0.919.
link(127,51) :- #0.754.
link(51,131) :- #0.801.
link(131,51) :- #0.844.
link(52,57) :- #0.184.
link(57,52) :- #0.198.
link(52,73) :- #0.145.
link(73,52) :- #0.657.
link(52,77) :- #0.28.
link(77,52) :- #0.879.
link(52,80) :- #0.613.
link(80,52) :- #0.37.
link(52,94) :- #0.826.
link(94,52) :- #0.442.
link(52,109) :- #0.764.
link(109,52) :- #0.032.
link(52,118) :- #0.116.
link(118,52) :- #0.538.
link(52,119) :- #0.504.
link(119,52) :- #0.161.
link(53,83) :- #0.053.
link(83,53) :- #0.049.
link(53,91) :- #0.072.
link(91,53) :- #0.953.
link(53,98) :- #0.218.
link(98,53) :- #0.574.
link(53,111) :- #0.539.
link(111,53) :- #0.418.
link(53,116) :- #0.967.
link(116,53) :- #0.797.
link(53,118) :- #0.967.
link(118,53) :- #0.144.
link(54,59) :- #0.551.
link(59,54) :- #0.063.
link(54,65) :- #0.284.
link(65,54) :- #0.096.
link(54,69) :- #0.341.
link(69,54) :- #0.915.
link(54,73) :- #0.665.
link(73,54) :- #0.092.
link(54,87) :- #0.707.
link(87,54) :- #0.5.
link(54,101) :- #0.568.
link(101,54) :- #0.246.
link(54,102) :- #0.981.
link(102,54) :- #0.175.
link(54,112) :- #0.804.
link(112,54) :- #0.358.
link(55,60) :- #0.517.
link(60,55) :- #0.277.
link(55,66) :- #0.079.
link(66,55) :- #0.826.
link(55,67) :- #0.55.
link(67,55) :- #0.66.
link(55,68) :- #0.191.
link(68,55) :- #0.292.
link(55,82) :- #0.574.
link(82,55) :- #0.823.
link(55,91) :- #0.691.
link(91,55) :- #0.901.
link(55,102) :- #0.088.
link(102,55) :- #0.569.
link(55,110) :- #0.786.
link(110,55) :- #0.313.
link(56,69) :- #0.996.
link(69,56) :- #0.334.
link(56,74) :- #0.918.
link(74,56) :- #0.52.
link(56,77) :- #0.798.
link(77,56) :- #0.205.
link(56,82) :- #0.935.
link(82,56) :- #0.214.
link(56,83) :- #0.092.
link(83,56) :- #0.305.
link(56,115) :- #0.592.
link(115,56) :- #0.996.
link(56,116) :- #0.411.
link(116,56) :- #0.394.
link(56,130) :- #0.038.
link(130,56) :- #0.699.
link(57,87) :- #0.977.
link(87,57) :- #0.177.
link(57,90) :- #0.657.
link(90,57) :- #0.74.
link(57,91) :- #0.576.
link(91,57) :- #0.925.
link(57,93) :- #0.56.
link(93,57) :- #0.781.
link(57,94) :- #0.362.
link(94,57) :- #0.317.
link(57,102) :- #0.957.
link(102,57) :- #0.286.
link(57,104) :- #0.283.
link(104,57) :- #0.254.
link(57,123) :- #0.778.
link(123,57) :- #0.446.
link(58,76) :- #0.897.
link(76,58) :- #0.149.
link(58,79) :- #0.058.
link(79,58) :- #0.661.
link(58,88) :- #0.295.
link(88,58) :- #0.626.
link(58,93) :- #0.719.
link(93,58) :- #0.471.
link(58,94) :- #0.472.
link(94,58) :- #0.76.
link(58,95) :- #0.405.
link(95,58) :- #0.778.
link(58,97) :- #0.889.
link(97,58) :- #0.983.
link(58,129) :- #0.494.
link(129,58) :- #0.145.
link(59,110) :- #0.826.
link(110,59) :- #0.467.
link(60,85) :- #0.586.
link(85,60) :- #0.11.
link(60,86) :- #0.042.
link(86,60) :- #0.517.
link(60,91) :- #0.641.
link(91,60) :- #0.161.
link(60,114) :- #0.667.
link(114,60) :- #0.869.
link(60,115) :- #0.077.
link(115,60) :- #0.511.
link(60,120) :- #0.301.
link(120,60) :- #0.467.
link(60,123) :- #0.162.
link(123,60) :- #0.893.
link(61,70) :- #0.247.
link(70,61) :- #0.669.
link(61,93) :- #0.595.
link(93,61) :- #0.673.
link(61,96) :- #0.224.
link(96,61) :- #0.842.
link(61,101) :- #0.619.
link(101,61) :- #0.835.
link(61,102) :- #0.021.
link(102,61) :- #0.132.
link(61,107) :- #0.131.
link(107,61) :- #0.375.
link(61,112) :- #0.215.
link(112,61) :- #0.052.
link(61,129) :- #0.073.
link(129,61) :- #0.003.
link(61,131) :- #0.552.
link(131,61) :- #0.367.
link(62,63) :- #0.771.
link(63,62) :- #0.388.
link(62,65) :- #0.023.
link(65,62) :- #0.065.
link(62,87) :- #0.635.
link(87,62) :- #0.717.
link(62,92) :- #0.346.
link(92,62) :- #0.782.
link(62,96) :- #0.679.
link(96,62) :- #0.608.
link(62,102) :- #0.921.
link(102,62) :- #0.562.
link(62,117) :- #0.114.
link(117,62) :- #0.27.
link(63,65) :- #0.617.
link(65,63) :- #0.917.
link(63,77) :- #0.995.
link(77,63) :- #0.766.
link(63,87) :- #0.842.
link(87,63) :- #0.792.
link(63,90) :- #0.567.
link(90,63) :- #0.661.
link(63,100) :- #0.336.
link(100,63) :- #0.604.
link(63,111) :- #0.922.
link(111,63) :- #0.844.
link(63,124) :- #0.324.
link(124,63) :- #0.215.
link(64,77) :- #0.573.
link(77,64) :- #0.742.
link(64,82) :- #0.063.
link(82,64) :- #0.841.
link(64,99) :- #0.016.
link(99,64) :- #0.146.
link(64,107) :- #0.161.
link(107,64) :- #0.82.
link(64,132) :- #0.681.
link(132,64) :- #0.842.
link(65,67) :- #0.169.
link(67,65) :- #0.006.
link(65,68) :- #0.516.
link(68,65) :- #0.84.
link(65,90) :- #0.065.
link(90,65) :- #0.974.
link(65,91) :- #0.815.
link(91,65) :- #0.172.
link(65,92) :- #0.081.
link(92,65) :- #0.116.
link(65,105) :- #0.574.
link(105,65) :- #0.642.
link(65,122) :- #0.492.
link(122,65) :- #0.983.
link(66,84) :- #0.374.
link(84,66) :- #0.087.
link(66,85) :- #0.068.
link(85,66) :- #0.597.
link(66,92) :- #0.428.
link(92,66) :- #0.267.
link(67,91) :- #0.027.
link(91,67) :- #0.117.
link(67,94) :- #0.389.
link(94,67) :- #0.606.
link(67,108) :- #0.912.
link(108,67) :- #0.658.
link(67,112) :- #0.865.
link(112,67) :- #0.181.
link(67,123) :- #0.338.
link(123,67) :- #0.705.
link(68,83) :- #0.369.
link(83,68) :- #0.392.
link(68,91) :- #0.55.
link(91,68) :- #0.735.
link(68,93) :- #0.809.
link(93,68) :- #0.188.
link(68,115) :- #0.805.
link(115,68) :- #0.061.
link(68,119) :- #0.425.
link(119,68) :- #0.799.
link(68,125) :- #0.364.
link(125,68) :- #0.61.
link(68,127) :- #0.514.
link(127,68) :- #0.391.
link(69,71) :- #0.354.
link(71,69) :- #0.414.
link(69,86) :- #0.822.
link(86,69) :- #0.464.
link(69,104) :- #0.368.
link(104,69) :- #0.77.
link(69,115) :- #0.642.
link(115,69) :- #0.1.
link(69,116) :- #0.907.
link(116,69) :- #0.722.
link(69,121) :- #0.382.
link(121,69) :- #0.382.
link(69,134) :- #0.974.
link(134,69) :- #0.281.
link(70,76) :- #0.416.
link(76,70) :- #0.337.
link(70,88) :- #0.12.
link(88,70) :- #0.237.
link(70,99) :- #0.047.
link(99,70) :- #0.324.
link(70,101) :- #0.353.
link(101,70) :- #0.95.
link(70,112) :- #0.207.
link(112,70) :- #0.683.
link(70,126) :- #0.768.
link(126,70) :- #0.955.
link(71,76) :- #0.484.
link(76,71) :- #0.998.
link(71,81) :- #0.676.
link(81,71) :- #0.833.
link(71,89) :- #0.12.
link(89,71) :- #0.365.
link(71,113) :- #0.208.
link(113,71) :- #0.627.
link(71,118) :- #0.814.
link(118,71) :- #0.326.
link(71,132) :- #0.683.
link(132,71) :- #0.222.
link(71,135) :- #0.601.
link(135,71) :- #0.614.
link(72,74) :- #0.853.
link(74,72) :- #0.848.
link(72,81) :- #0.435.
link(81,72) :- #0.828.
link(72,85) :- #0.085.
link(85,72) :- #0.06.
link(72,106) :- #0.635.
link(106,72) :- #0.554.
link(72,112) :- #0.469.
link(112,72) :- #0.836.
link(72,120) :- #0.431.
link(120,72) :- #0.118.
link(72,121) :- #0.284.
link(121,72) :- #0.394.
link(72,123) :- #0.863.
link(123,72) :- #0.09.
link(72,129) :- #0.423.
link(129,72) :- #0.914.
link(72,135) :- #0.234.
link(135,72) :- #0.206.
link(73,81) :- #0.773.
link(81,73) :- #0.859.
link(73,93) :- #0.806.
link(93,73) :- #0.527.
link(73,95) :- #0.717.
link(95,73) :- #0.392.
link(73,100) :- #0.067.
link(100,73) :- #0.393.
link(73,130) :- #0.371.
link(130,73) :- #0.379.
link(73,134) :- #0.453.
link(134,73) :- #0.939.
link(74,76) :- #0.74.
link(76,74) :- #0.461.
link(74,108) :- #0.175.
link(108,74) :- #0.266.
link(74,120) :- #0.133.
link(120,74) :- #0.248.
link(74,123) :- #0.654.
link(123,74) :- #0.638.
link(74,126) :- #0.226.
link(126,74) :- #0.001.
link(74,134) :- #0.015.
link(134,74) :- #0.483.
link(75,94) :- #0.364.
link(94,75) :- #0.501.
link(75,105) :- #0.116.
link(105,75) :- #0.435.
link(75,130) :- #0.782.
link(130,75) :- #0.677.
link(75,135) :- #0.373.
link(135,75) :- #0.809.
link(76,81) :- #0.71.
link(81,76) :- #0.011.
link(76,95) :- #0.329.
link(95,76) :- #0.769.
link(76,110) :- #0.735.
link(110,76) :- #0.512.
link(76,113) :- #0.865.
link(113,76) :- #0.108.
link(76,119) :- #0.654.
link(119,76) :- #0.076.
link(77,90) :- #0.391.
link(90,77) :- #0.208.
link(77,98) :- #0.757.
link(98,77) :- #0.217.
link(77,103) :- #0.377.
link(103,77) :- #0.832.
link(78,82) :- #0.106.
link(82,78) :- #0.336.
link(78,98) :- #0.559.
link(98,78) :- #0.256.
link(78,100) :- #0.864.
link(100,78) :- #0.881.
link(78,122) :- #0.782.
link(122,78) :- #0.857.
link(78,123) :- #0.984.
link(123,78) :- #0.753.
link(79,82) :- #0.295.
link(82,79) :- #0.88.
link(79,83) :- #0.976.
link(83,79) :- #0.323.
link(79,90) :- #0.73.
link(90,79) :- #0.41.
link(79,97) :- #0.813.
link(97,79) :- #0.035.
link(79,132) :- #0.757.
link(132,79) :- #0.699.
link(80,82) :- #0.133.
link(82,80) :- #0.269.
link(80,127) :- #0.355.
link(127,80) :- #0.21.
link(80,135) :- #0.401.
link(135,80) :- #0.324.
link(81,87) :- #0.942.
link(87,81) :- #0.289.
link(81,93) :- #0.873.
link(93,81) :- #0.766.
link(81,95) :- #0.536.
link(95,81) :- #0.882.
link(81,97) :- #0.606.
link(97,81) :- #0.193.
link(81,108) :- #0.162.
link(108,81) :- #0.645.
link(81,118) :- #0.007.
link(118,81) :- #0.71.
link(82,91) :- #0.718.
link(91,82) :- #0.176.
link(82,97) :- #0.044.
link(97,82) :- #0.988.
link(82,107) :- #0.126.
link(107,82) :- #0.45.
link(82,109) :- #0.238.
link(109,82) :- #0.14.
link(82,123) :- #0.372.
link(123,82) :- #0.507.
link(82,131) :- #0.346.
link(131,82) :- #0.347.
link(83,93) :- #0.674.
link(93,83) :- #0.413.
link(83,105) :- #0.635.
link(105,83) :- #0.986.
link(83,122) :- #0.899.
link(122,83) :- #0.845.
link(83,125) :- #0.242.
link(125,83) :- #0.28.
link(83,133) :- #0.125.
link(133,83) :- #0.622.
link(84,88) :- #0.953.
link(88,84) :- #0.303.
link(84,94) :- #0.129.
link(94,84) :- #0.067.
link(84,100) :- #0.306.
link(100,84) :- #0.54.
link(84,106) :- #0.267.
link(106,84) :- #0.556.
link(84,127) :- #0.221.
link(127,84) :- #0.631.
link(84,134) :- #0.619.
link(134,84) :- #0.445.
link(85,98) :- #0.667.
link(98,85) :- #0.149.
link(85,104) :- #0.263.
link(104,85) :- #0.104.
link(85,130) :- #0.78.
link(130,85) :- #0.988.
link(86,91) :- #0.624.
link(91,86) :- #0.077.
link(86,98) :- #0.395.
link(98,86) :- #0.845.
link(86,109) :- #0.128.
link(109,86) :- #0.724.
link(86,110) :- #0.189.
link(110,86) :- #0.226.
link(87,118) :- #0.971.
link(118,87) :- #0.704.
link(88,96) :- #0.521.
link(96,88) :- #0.897.
link(88,107) :- #0.975.
link(107,88) :- #0.656.
link(88,116) :- #0.018.
link(116,88) :- #0.877.
link(88,129) :- #0.036.
link(129,88) :- #0.561.
link(89,103) :- #0.876.
link(103,89) :- #0.221.
link(89,135) :- #0.922.
link(135,89) :- #0.914.
link(90,98) :- #0.578.
link(98,90) :- #0.39.
link(90,104) :- #0.712.
link(104,90) :- #0.584.
link(90,106) :- #0.008.
link(106,90) :- #0.965.
link(90,124) :- #0.426.
link(124,90) :- #0.654.
link(90,134) :- #0.055.
link(134,90) :- #0.672.
link(91,115) :- #0.533.
link(115,91) :- #0.58.
link(91,121) :- #0.457.
link(121,91) :- #0.777.
link(91,124) :- #0.812.
link(124,91) :- #0.379.
link(91,129) :- #0.345.
link(129,91) :- #0.122.
link(92,93) :- #0.111.
link(93,92) :- #0.71.
link(92,114) :- #0.57.
link(114,92) :- #0.771.
link(92,123) :- #0.921.
link(123,92) :- #0.375.
link(93,103) :- #0.145.
link(103,93) :- #0.948.
link(93,111) :- #0.647.
link(111,93) :- #0.953.
link(93,113) :- #0.859.
link(113,93) :- #0.808.
link(93,116) :- #0.155.
link(116,93) :- #0.696.
link(94,97) :- #0.483.
link(97,94) :- #0.42.
link(94,104) :- #0.564.
link(104,94) :- #0.06.
link(94,105) :- #0.629.
link(105,94) :- #0.088.
link(94,129) :- #0.652.
link(129,94) :- #0.03.
link(95,111) :- #0.926.
link(111,95) :- #0.82.
link(95,115) :- #0.241.
link(115,95) :- #0.864.
link(95,134) :- #0.229.
link(134,95) :- #0.193.
link(96,111) :- #0.984.
link(111,96) :- #0.735.
link(96,117) :- #0.16.
link(117,96) :- #0.324.
link(96,119) :- #0.428.
link(119,96) :- #0.724.
link(96,120) :- #0.822.
link(120,96) :- #0.679.
link(96,133) :- #0.536.
link(133,96) :- #0.429.
link(97,98) :- #0.517.
link(98,97) :- #0.71.
link(97,115) :- #0.145.
link(115,97) :- #0.297.
link(97,127) :- #0.007.
link(127,97) :- #0.009.
link(97,130) :- #0.707.
link(130,97) :- #0.546.
link(98,102) :- #0.273.
link(102,98) :- #0.793.
link(98,105) :- #0.797.
link(105,98) :- #0.809.
link(98,108) :- #0.969.
link(108,98) :- #0.157.
link(98,120) :- #0.164.
link(120,98) :- #0.4.
link(98,133) :- #0.218.
link(133,98) :- #0.759.
link(99,108) :- #0.794.
link(108,99) :- #0.484.
link(99,113) :- #0.114.
link(113,99) :- #0.448.
link(99,121) :- #0.632.
link(121,99) :- #0.416.
link(100,113) :- #0.117.
link(113,100) :- #0.09.
link(100,126) :- #0.15.
link(126,100) :- #0.799.
link(100,135) :- #0.259.
link(135,100) :- #0.306.
link(101,105) :- #0.145.
link(105,101) :- #0.359.
link(101,123) :- #0.117.
link(123,101) :- #0.651.
link(101,126) :- #0.457.
link(126,101) :- #0.822.
link(102,108) :- #0.574.
link(108,102) :- #0.399.
link(102,131) :- #0.245.
link(131,102) :- #0.594.
link(103,118) :- #0.086.
link(118,103) :- #0.56.
link(104,109) :- #0.108.
link(109,104) :- #0.94.
link(104,117) :- #0.393.
link(117,104) :- #0.314.
link(104,130) :- #0.345.
link(130,104) :- #0.629.
link(105,110) :- #0.175.
link(110,105) :- #0.902.
link(106,125) :- #0.873.
link(125,106) :- #0.93.
link(107,120) :- #0.928.
link(120,107) :- #0.279.
link(107,125) :- #0.365.
link(125,107) :- #0.442.
link(109,113) :- #0.571.
link(113,109) :- #0.995.
link(110,117) :- #0.73.
link(117,110) :- #0.463.
link(111,113) :- #0.681.
link(113,111) :- #0.668.
link(111,117) :- #0.802.
link(117,111) :- #0.422.
link(111,121) :- #0.559.
link(121,111) :- #0.884.
link(112,125) :- #0.392.
link(125,112) :- #0.806.
link(113,125) :- #0.064.
link(125,113) :- #0.969.
link(114,131) :- #0.571.
link(131,114) :- #0.015.
link(114,134) :- #0.504.
link(134,114) :- #0.961.
link(115,117) :- #0.081.
link(117,115) :- #0.72.
link(115,119) :- #0.315.
link(119,115) :- #0.656.
link(115,125) :- #0.336.
link(125,115) :- #0.586.
link(115,135) :- #0.304.
link(135,115) :- #0.134.
link(116,117) :- #0.95.
link(117,116) :- #0.265.
link(116,122) :- #0.314.
link(122,116) :- #0.948.
link(117,120) :- #0.557.
link(120,117) :- #0.327.
link(117,126) :- #0.203.
link(126,117) :- #0.773.
link(118,127) :- #0.
link(127,118) :- #0.535.
link(118,128) :- #0.319.
link(128,118) :- #0.722.
link(118,135) :- #0.122.
link(135,118) :- #0.511.
link(119,121) :- #0.576.
link(121,119) :- #0.719.
link(119,127) :- #0.446.
link(127,119) :- #0.104.
link(120,134) :- #0.94.
link(134,120) :- #0.983.
link(122,124) :- #0.307.
link(124,122) :- #0.799.
link(123,128) :- #0.455.
link(128,123) :- #0.02.
link(123,130) :- #0.305.
link(130,123) :- #0.353.
link(124,128) :- #0.914.
link(128,124) :- #0.13.
link(125,134) :- #0.74.
link(134,125) :- #0.81.
link(126,130) :- #0.117.
link(130,126) :- #0.703.
link(126,131) :- #0.374.
link(131,126) :- #0.678.
link(126,133) :- #0.367.
link(133,126) :- #0.95.
link(127,129) :- #0.217.
link(129,127) :- #0.653.
link(127,130) :- #0.007.
link(130,127) :- #0.79.
link(128,134) :- #0.873.
link(134,128) :- #0.987.
link(133,135) :- #0.274.
link(135,133) :- #0.669.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
